VMC: A Tool for the Analysis of Variability in Software Product Lines
نویسندگان
چکیده
ERCIM NEWS 93 April 2013 50 types that augment a virtual facility with energy consumption information along with spacial characteristics, location and status of equipment, while providing simple ways to control them. Unlike previous work that has largely relied on CAD or VRML for scene generation, this work takes advantage of recent game engine technologies for fast and realtime rendering of feature-rich representations of the facility, along with spacial information, equipment conditions and device status.
منابع مشابه
VMC: A Tool for Product Variability Analysis
We present VMC, a tool for the modeling and analysis of variability in product lines. It accepts a product family specified as a modal transition system, possibly with additional variability constraints, after which it can automatically generate all the family’s valid products, visualize the family/products as modal/labeled transition systems, and efficiently model check properties expressed in...
متن کاملTool Support for Software Variability Management and Product Derivation in Software Product Lines
Software variability management is a key challenge in developing software product lines and deriving products from the product line. In order to provide effective variability management and product derivation in software product lines, which is capable of being automated, certain fundamental building blocks are required. These include multiple product line views, the feature model as the unifyi...
متن کاملModel Checking Value-Passing Modal Specifications
Formal modelling and verification of variability concepts in product families has been the subject of extensive study in the literature on Software Product Lines. In recent years, we have laid the basis for the use of modal specifications and branching-time temporal logics for the specification and analysis of behavioural variability in product family definitions. A critical point in this forma...
متن کاملA Multi-agent Systems Product Line Derivation Tool
Agent-oriented Software Engineering and Software Product Lines are two promising software engineering technologies, whose integration has been recently exploited in order to promote reuse and variability management in the context of complex and distributed systems. However, an automatic product derivation process and tools for supporting it are not addressed by existing research work. In this p...
متن کاملUML Support for Designing Software Product Lines: The Package Merge Mechanism
Software product lines have become a successful but challenging approach to software reuse. Some of the problems that hinder the adoption of this development paradigm are the conceptual gap between the variability and design models, as well as the complexity of the traceability management between them. Most current development methods use UML stereotypes or modify UML to face variability and tr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- ERCIM News
دوره 2013 شماره
صفحات -
تاریخ انتشار 2013